Skip to content

make license visible to github webUI#16

Merged
1 commit merged intomainfrom
dev/kbroch/github-license-visibility
Aug 20, 2025
Merged

make license visible to github webUI#16
1 commit merged intomainfrom
dev/kbroch/github-license-visibility

Conversation

@ghost
Copy link

@ghost ghost commented Aug 14, 2025

reuse can deal with symlinks but github can not, so move license file to top level and symlink it in the LICENSES dir.
working example: https://github.com/rivosinc/opensipi

@ghost ghost requested a review from sameo August 14, 2025 21:43
@ghost ghost self-assigned this Aug 14, 2025
@ghost ghost requested a review from dgreid August 20, 2025 21:39
@ghost ghost merged commit 95d62c2 into main Aug 20, 2025
2 of 9 checks passed
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant